退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:非时态数据建模语言中的时态约束
Peter M C Brien;
机译:通过Petri网对具有时间和非时间约束的调节系统的鲁棒控制建模方法
机译:构建基于约束的空间数据库系统:模型,语言和实现
机译:基于时间有效性约束的RT家族信任管理语言的虚拟机用户访问控制模型-实际应用
机译:时空信息的数据模型和查询语言(时态数据库)。
机译:具有时间约束的声明式编程使用CG语言
机译:时态数据,时态数据模型,时态数据语言和时态数据库系统。
机译:使用组合的有限时间逻辑和数字约束的用户友好型排序系统,也可扩展到概率约束,用于一段时间内时间间隔的复杂排序优化,也适用于常规建模和灾难性偶数建模
机译:将基于非时间的压缩图像数据转换为基于时间的压缩图像数据
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。